มหาวิทยาลัยเกษตรศาสตร์ วิทยาเขตศรีราชา |
คำอธิบายรายวิชา |
01204213
|
ทฤษฏีการคำนวณ
|
3(3-0-6)
|
Theory of Computaiton
|
ออโตมาตาจำกัดเชิงกำหนดและเชิงไม่กำหนด ภาษาและไวยากรณ์แบบปรกติ ออโตมาตาแบบกดลงและไวยากรณ์ไม่พึ่งบริบท เครื่องจักรทัวริงและการคำนวณได้ ลำดับขั้นของชอมสกี การคำนวณไม่ได้และปัญหาที่ตัดสินไม่ได้ Deterministic and non-deterministic finite automata; regular languages and regular grammars; pushdown automata and context-free grammars; Turing machines and computability; the Chomsky hierarchy; uncomputability and undecidable problems.
|
|
|